Abstraction and Performance in the Design of Parallel Programs Der Fakultt at F Ur Mathematik Und Informatik Der Universitt at Passau Vorgelegte Zusammenfassung Der Verr Ooentlichungen Zur Erlangung Der Venia Legendi

نویسنده

  • Eugene N. Miya
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Programmieren und Beweisen: Experimente mit dem Programmverifizierer NPPV

Zusammenfassung Anhand von Fallbeispielen zeigen wir den Einsatz unseres Programmveri zierers NPPV f ur abstrakte Fragestellungen zwi schen Mathematik und Informatik Aus einem gegebenen und mit Inva rianten annotierten Programmschema erzeugt das System automatisch logische Bedingungen f ur dessen Korrektheit Der Veri zierer wurde zum Einsatz im Informatikunterricht konzipiert Er nimmt dem Benut...

متن کامل

Die Trierer Informatik-Bibliographie DBLP

Zusammenfassung Der leichte Zugang zu aktueller und qualitativ hochwertiger Fachinformation ist auch in der Informatik essentiell f ur Lehre Forschung und Ent wicklung Die wichtigsten Medien zur Verbreitung wissenschaftlicher Informationen sind in der Informatik Tagungen Tagungsb ande Zeitschriften und in zunehmendem Ma e das Internet Neben Preprint Servern spielen auf dem Internet themenzen tr...

متن کامل

Charakterisierung der Farbeigenschaften melanozytärer Hautveränderungen zur Unterstützung der Früherkennung des malignen Melanoms

Max-Planck-Institut f ur extraterrestrische Physik, Garching Department of Electrical Engineering, University of Sydney Institut f ur medizinische Statistik und Epidemiologie, TU M unchen Klinik und Poliklinik f ur Dermatologie der Universit at Regensburg Fachbereich Informatik/Mathematik, Fachhochschule M unchen Lehrstuhl f ur Theoretische Informatik und Grundlagen der KI, TU M unchen ...

متن کامل

Habilitationsschrift zur Erlangung der Venia legendi der Fakultät für angewandte Wissenschaften der Albert-Ludwigs-Universität Freiburg für das Fach Informatik Heuristic Search

This article surveys approaches to cope with limited memory for the design of algorithms and data structures in Artificial Intelligence, since many systems, e.g. in puzzle solving, two-player games, action and route planning, robotics, machine learning, data mining, logic programming and theorem proving, explore very large or even infinite implicitly given state spaces. The main focus is on str...

متن کامل

Abstract state machines: verification problems and computational power

State Machines: Verification Problems and Computational Power Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen Grades einer Doktorin der Naturwissenschaften genehmigte Dissertation

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997